<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html lang="zh">
 <head>
  <meta content="width=device-width, initial-scale=1.0" name="viewport"/>
  <meta content="2018-10-23T06:18:10.521000000" name="created"/>
  <meta content="2023-12-12T09:31:22" name="changed" translator="gocpicnic"/>
  <meta content="text/html; charset=utf-8" http-equiv="content-type"/>
  <meta content="zh" http-equiv="Content-Language"/>
  <title>
   <!-- Creating expressions -->
   创建表达式
  </title>
  <link href="../../style.css" rel="stylesheet" type="text/css"/>
 </head>
 <body>
  <div class="maindiv">
   <h1>
    <!-- Creating expressions -->
    创建表达式
   </h1>
   <p>
    <!-- For each output variable, the Combinational Analysis window maintains two structures - the relevant column of the truth table, and a Boolean expression - specifying how each output relates to its input. You can edit either the truth table or the expression; the other will automatically change as necessary to keep them consistent. -->
    对于每个输出变量，组合分析窗口维护两个结构 - 真值表的相关列和一个布尔表达式 - 指定每个输出与其输入的关系。 您可以编辑真值表或表达式； 另一个将根据需要自动更改以保持一致。
   </p>
   <p>
    <!-- As we will see on the next page, the Boolean expressions are particularly useful because the Combinational Analysis window will use these when told to build a circuit corresponding to the current state. -->
    正如我们将在下一页看到的，布尔表达式特别有用，因为组合分析窗口在被告知构建与当前状态相对应的电路时将使用这些表达式。
   </p>
   <p>
    <!-- You can view and edit the expressions using the window's last two tabs, the <b class="button">Expression</b> tab and the <b class="button">Minimized</b> tab. -->
    您可以使用窗口的最后两个选项卡（
    <b class="button">
     表达式
    </b>
    选项卡和
    <b class="button">
     最小化
    </b>
    选项卡）查看和编辑表达式。
   </p>
   <h2>
    <!-- The Expression tab -->
    表达式选项卡
   </h2>
   <p align="center">
    <img alt="#########" src="../../../img-guide/analyze-expression.png"/>
   </p>
   <p>
    <!-- The <b class="button">Expression</b> tab allows you to view and edit the current expression associated with each output variable. It presents a "Notation: " selector and a list of the mathematical expressions of the circuit. -->
    <b class="button">
     表达式
    </b>
    选项卡允许您查看和编辑与每个输出变量关联的当前表达式。 它提供了一个“符号：”选择器和电路数学表达式的列表。
   </p>
   <p>
    <!-- The <b class="button"  id=not>Notation :</b> selector: changes the notation mode of the output expressions. It allows you to choose from five types of notation: -->
    <b class="button" id="not">
     Notation :
    </b>
    选择器：更改输出表达式的表示法模式。 它允许您从五种类型的符号中进行选择：
    <dl>
     <!-- <dt><b class="button">Mathematical </b> :</dt><dd>The bar above represents the negation, Le - the AND function and the + the OR function.</dd> -->
     <dt>
      <b class="button">
       数学
      </b>
      ：
     </dt>
     <dd>
      上面的条代表否定，Le - AND 函数和 + OR 函数。
     </dd>
     <!-- <dt><b class="button">Logical </b> :</dt><dd> The ¬ represents the negation, the ˄ the AND function and the ˅ the OR function.</dd> -->
     <dt>
      <b class="button">
       逻辑
      </b>
      ：
     </dt>
     <dd>
      Ø 表示否定，˄ 表示 AND 函数，˅ 表示 OR 函数。
     </dd>
     <!-- <dt><b class="button">Alternative Logical </b> :</dt><dd> The ~ represents the negation, the ˄ the AND function and the ˅ the OR function.</dd> -->
     <dt>
      <b class="button">
       另类逻辑
      </b>
      ：
     </dt>
     <dd>
      ~ 表示否定， ˄ 表示 AND 函数， ˅ 表示 OR 函数。
     </dd>
     <!-- <dt><b class="button">Programming with Boolean's </b> :</dt><dd> The ! represents the negation, the && the AND function and the || the OR function.</dd> -->
     <dt>
      <b class="button">
       使用布尔值编程
      </b>
      ：
     </dt>
     <dd>
      ! 代表否定，&amp;&amp; AND 函数和|| OR 函数。
     </dd>
     <!-- <dt><b class="button">Programming with bits </b> :</dt><dd> The ~ represents the negation, the & represents the AND function and the | represents the OR function.</dd> -->
     <dt>
      <b class="button">
       用位编程
      </b>
      ：
     </dt>
     <dd>
      ~ 代表否定，&amp; 代表 AND 函数，| 代表 AND 函数。 代表OR函数。
     </dd>
    </dl>
   </p>
   <p>
    <!-- Just below the selector, the expressions are displayed in a list. You can edit the expression in the text panel by double-clicking on the line of the expression. -->
    在选择器下方，表达式显示在列表中。 您可以通过双击表达式行来编辑文本面板中的表达式。
   </p>
   <p>
    <!-- Note that your truth table will be irretrievably altered if you edit the expressions and vice versa.  -->
    请注意，如果您编辑表达式，您的真值表将发生不可挽回的更改，反之亦然。
   </p>
   <p>
    <!-- The text pane below this displays the same information in ASCII form. Here, a NOT is represented with a tilde ('~'). -->
    下面的文本窗格以 ASCII 形式显示相同的信息。 这里，NOT 用波形符 ('~') 表示。
   </p>
   <p>
    <!-- You can edit the expression in the text pane and click the <b class="button">Enter</b> button to make it take effect; doing this will also update the truth table to make it correspond. The <b class="button">Clear</b> button clears the text pane, and the <b class="button">Revert</b> button changes the pane back to representing the current expression. -->
    您可以在文本窗格中编辑表达式，然后单击
    <b class="button">
     Enter
    </b>
    按钮使其生效； 这样做还将更新真值表以使其对应。
    <b class="button">
     清除
    </b>
    按钮清除文本窗格，
    <b class="button">
     恢复
    </b>
    按钮将窗格更改回代表当前表达式。
   </p>
   <p>
    <!-- Note that your edited expression will be lost if you edit the truth table. -->
    请注意，如果编辑真值表，则编辑的表达式将会丢失。
   </p>
   <p>
    <!-- In addition to multiplication and addition standing for AND and OR, an expression you type may contain any of C/Java logical operators, as well as simply the words themselves. -->
    除了代表 AND 和 OR 的乘法和加法之外，您键入的表达式还可以包含任何 C/Java 逻辑运算符以及单词本身。
   </p>
   <center>
    <table>
     <tbody>
      <tr>
       <th>
        <!-- highest precedence -->
        最高优先级
       </th>
       <td align="center">
        <tt>
         ~
        </tt>
        <tt>
         !
        </tt>
        <tt>
         '
        </tt>
       </td>
       <th>
        NOT
       </th>
      </tr>
      <tr>
       <th>
       </th>
       <td align="center">
        (none)
        <tt>
         &amp;
        </tt>
        <tt>
         &amp;&amp;
        </tt>
       </td>
       <th>
        AND
       </th>
      </tr>
      <tr>
       <th>
       </th>
       <td align="center">
        <tt>
         ^
        </tt>
       </td>
       <th>
        XOR
       </th>
      </tr>
      <tr>
       <th>
        <!-- lowest precedence -->
        最低优先级
       </th>
       <td align="center">
        <tt>
         +
        </tt>
        <tt>
         |
        </tt>
        <tt>
         ||
        </tt>
       </td>
       <th>
        OR
       </th>
      </tr>
     </tbody>
    </table>
   </center>
   <p>
    <!-- The following examples are all valid representations of the same expression. You could also mix the operators. -->
    以下示例都是同一表达式的有效表示。 您也可以混合使用运算符。
   </p>
   <table>
    <tbody>
     <tr>
      <td>
       <tt>
        a' (b + c)
       </tt>
      </td>
     </tr>
     <tr>
      <td>
       <tt>
        !a &amp;&amp; (b || c)
       </tt>
      </td>
     </tr>
     <tr>
      <td>
       <tt>
        NOT a AND (b OR c)
       </tt>
      </td>
     </tr>
    </tbody>
   </table>
   <p>
    <!-- In general, parentheses within a sequence of ANDs (or ORs or XORs) do not matter. (In particular, when Logisim creates a corresponding circuit, it will ignore such parentheses.) -->
    一般来说，AND（或 OR 或 XOR）序列中的括号并不重要。 （特别是，当Logisim创建相应的电路时，它会忽略这样的括号。）
   </p>
   <h2>
    <!-- The Minimized tab -->
    最小化选项卡
   </h2>
   <p align="center">
    <img alt="#########" src="../../../img-guide/analyze-minimized.png"/>
   </p>
   <p>
    <!-- The last tab displays the minimum expression of one of the columns of the truth table. On this panel there are four selectors, the karnaught table and the minimal expression. -->
    最后一个选项卡显示真值表中一列的最小表达式。 该面板上有四个选择器、卡诺表和最小表达式。
   </p>
   <p>
    <!-- With the top selector <b class="button">Output:</b>, you can select the minimized output of a column of the table you want to display. -->
    使用顶部选择器
    <b class="button">
     输出：
    </b>
    ，您可以选择要显示的表格列的最小化输出。
   </p>
   <p>
    <!-- The following selector <b class="button">Format::</b> allows you to indicate whether you want to produce a <b>sum of products</b> or a <b>sum of sums</b>. -->
    以下选择器
    <b class="button">
     格式::
    </b>
    允许您指示是否要生成
    <b>
     乘积之和
    </b>
    或
    <b>
     总和
    </b>
    。
   </p>
   <p>
    <!-- the selector <b class="button">Style:</b> modulates the presentation of variables on the table edges. Either with binary values or with lines on the true values. -->
    选择器
    <b class="button">
     样式：
    </b>
    调整表格边缘上变量的呈现。 可以使用二进制值，也可以使用真实值上的线条。
   </p>
   <div class="twodiv">
    <table>
     <tbody>
      <tr>
       <td>
        <img align="middle" alt="#########" class="notscal" src="../../../../img-guide/analyze-numline1.png"/>
       </td>
      </tr>
      <tr>
       <td>
        <!-- Numbered -->
        编号
       </td>
      </tr>
     </tbody>
    </table>
   </div>
   <div class="twodiv">
    <table>
     <tbody>
      <tr>
       <td>
        <img align="middle" alt="#########" class="notscal" src="../../../../img-guide/analyze-numline2.png"/>
       </td>
      </tr>
      <tr>
       <td>
        Lined
       </td>
      </tr>
     </tbody>
    </table>
   </div>
   <p>
    <!-- The selector <b class="button">Notation:</b> has the same properties as the panel <a href="#not">Expression selector (see above)</a> -->
    选择器
    <b class="button">
     Notation:
    </b>
    与面板
    <a href="#not">
     表达式选择器（见上文）
    </a>
    具有相同的属性
   </p>
   <p>
    <!-- A Karnaugh map corresponding to the variable will appear below the selector. You can click the Karnaugh map to change the corresponding truth table values. The Karnaugh map will also display the currently selected terms for the minimized expression as solid semitransparent rounded rectangles.  -->
    与该变量对应的卡诺图将出现在选择器下方。 您可以单击卡诺图来更改相应的真值表值。 卡诺图还将最小化表达式的当前选定项显示为实心半透明圆角矩形。
   </p>
   <p>
    <!-- Below this is the minimized expression itself, formatted as in the Expression tab's display.  Logisim uses the Quine-McCluskey algorithm to compute the minimized expression. This is equivalent to a Karnaugh map, but it applies to any number of input variables. -->
    下面是最小化的表达式本身，其格式与“表达式”选项卡的显示中相同。 Logisim-evolution 使用 Quine-McCluskey 算法来计算最小化表达式。 这相当于卡诺图，但它适用于任意数量的输入变量。
   </p>
   <p>
    <!-- The <b class="button">Set As Expression</b> button allows you to select the minimized expression as the expression corresponding to the variable. This will generally not be necessary, as edits to the truth table result in using the minimized expression for the changed column; but if you enter an expression through the Expression tab, this can be a convenient way to switch to the corresponding minimized expression. -->
    <b class="button">
     设置为表达式
    </b>
    按钮允许您选择最小化的表达式作为与变量对应的表达式。 这通常是不必要的，因为对真值表的编辑会导致对更改的列使用最小化表达式； 但如果您通过“表达式”选项卡输入表达式，这可以是切换到相应最小化表达式的便捷方法。
   </p>
   <p>
    <!-- <b>Next:</b> <a href="ana-gen.html">Generating a circuit</a>. -->
    <b>
     下一步：
    </b>
    <a href="ana-gen.html">
     生成电路
    </a>
    。
   </p>
  </div>
 </body>
</html>
